航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

多臂空间机器人的视觉伺服与协调控制

针对多臂空间机器人自主目标抓捕任务，首先建立多臂空间机器人的运动模型和其与目标的相对运动模型，采用Kane方法建立多臂空间机器人的动力学模型；其次，研究基于视觉伺服的机械臂在线轨迹规划算法，并引入零反作用机动，消除机械臂运动对平台姿态的扰动；再次，在不使用零反作用机动功能时，分别使用基于角动量前馈补偿的协调控制算法和逆动力学方法设计了协调控制器，在机械臂运动时保持平台姿态和相对目标的位置。最后，开发了基于Matlab的仿真软件MASS（多臂空间机器人仿真），仿真结果校验了上述方法的有效性。     

空间实验室大面积太阳电池阵技术研究

介绍了空间实验室大面积太阳电池阵的方案构型，并进行了模态分析、热结构耦合分析和动力学仿真分析。生产出了全尺寸的集成演示样机，进行了展开试验、主展开机构的模态试验，以及半刚性太阳电池板和二自由度驱动机构的振动试验。计算和试验结果表明，技术方案是可行的。     

神经网络在未来超分辨雷达中的应用

最新的技术发展已为研制超分辨雷达创造了条件。它能够突破普通雷达基于匹配滤波原理的分辨能力,而实现超分辨。超分辨雷达的巨大计算量通常来自求解非线性最小二乘问题时的多维搜索。本文针对这一问题,研究了雷达信号处理中的两个典型例子:(1)利用阵列处理检测个数已知而方向未知的雷达目标;(2)对波音727飞机进行超分辨距离多普勒成像。说明Hop-field神经网络通过集体运算能够求解各种困难的最优化问题,因而在未来的超分辨雷达中有广阔的应用前景。     

低轨卫星面阵凝视成像技术研究

文章介绍了面阵凝视成像的工作原理及特点，阐述了低轨卫星对地观测凝视成像面临的像移问题及其解决措施，对像移补偿装置与二维指向机构的结合做了初步探讨。     

航天记录器的发展和转型

概述中国航天记录器近五十年的发展历程,阐述航天记录器技术转型的十年过程,简要介绍目前航天记录器应用的新进展。     

动态测量系统的逆系统设计

为了从测量信号中恢复出原始的物理信息 ,需要设计动态测量系统的逆系统 ,以使整个系统的传递函数为 1。但对于非最小相位测量系统 ,简单的逆变换会引起系统不稳定 ,零相位误差算法的引入有效地解决了这个问题。文中以温度测量为例 ,对其进行反演 ,仿真表明结果真实可靠 ,方法具有一定的实用价值     

Xilinx SRAM型FPGA抗辐射设计技术研究

针对Xilinx SRAM型FPGA在空间应用中的可行性，分析了Xilinx SRAM型FPGA的结构，以及空间辐射效应对这种结构FPGA的影响，指出SRAM型的FPGA随着工艺水平的提高、器件规模的增大和核电压的降低，抗总剂量效应不断提高，抵抗单粒子效应，尤其是单粒子翻转和单粒子瞬态脉冲的能力降低。分析了FPGA综合后常见的Half-latch在辐射环境中的影响并结合实际工程实践给出了解决上述问题的一些有用办法和注意事项，如，冗余设计、同步设计、算术逻辑运算结果校验、白检等。最后还提出一种基于COTS器件的“由顶到底”的星载信号处理平台结构，分析了这种结构在抵抗辐射效应时的优势。有关FPGA抗辐射的可靠性设计方法已经在某卫星通信载道中成功应用，并通过了各种卫星环境试验，该技术可以为有关航天电子设备设计提供参考。     

角加速度反馈在再入段控制中的应用

针对再入飞行器滚动通道产生较大的滚动角及滚动角速率,给出了一种能够有效地减小滚动角和滚动角速率的方法。该方法引入滚动角加速度信号反馈,并采用逆系统方法设计控制器。数学仿真结果表明,引入角加速度信号后,通过对干扰力矩的补偿,可以很大程度上减小再入飞行器的滚动角和滚动角速率,滚动角可以稳定在±5°范围以内。该方法将有利于减弱通道之间的耦合,提高再入飞行器再入段控制的精度。